مکانیابی خطاهای پنهان نرم افزار با استفاده از آنتروپی متقاطع و مدلهای n-گرام
نویسندگان
چکیده
چکیده: هدف، ارایه راه کاری برای تعیین خودکار محدوده خطاهای پنهان در متن برنامه ها می باشد. می توان محدوده علت خطا را براساس مقایسه مسیرهای اجرایی صحیح و غلط به دست آورد. براساس شباهت مسیرهای اجرایی می توان آنها را دسته بندی نمود. جهت به دست آوردن شباهت مسیرها، مدل های n-گرام اجراها را به دست آورده و سپس با استفاده از آنتروپی متقاطع شباهت بین این مدل ها را محاسبه می کنیم. برای به دست آوردن مدل های n-گرام که در دسته مدل های مارکوف قرار می گیرند از تخمین حداکثر احتمال توسط شمارش کلمات یا به عبارتی n-گرام ها استفاده می شود. سپس با تحلیل هر دسته، با کمک آنتروپی متقاطع، یک سری مکان های مشکوک به خطا شناسایی می شوند و در نهایت با استفاده از رأی اکثریت بین دسته ها، مکان های مشکوک به خطا به صورت بخش هایی از یک زیرمسیر به برنامه نویس معرفی می شود. راه کار ارائه شده در این مقاله، با دقت بالا محدوده خطا را نشان می دهد و نتایج به دست آمده از اِعمال این راه کار به مجموعه محک زیمنس، گویای آن می باشد.
منابع مشابه
بررسی محصولات تراریخته با استفاده از نرم افزار AMPE
نرم افزار AMPE به منظور ارزیابی/ تایید روشهای آنالیز و شناسایی محصولات تراریخته تحت شرایط استاندارد طراحی شده است. این نرم افزار امکان تعیین حد تشخیص (LOD)، تشخیص کمیت (LOQ) و نیز دقت و صحت روشها ی ارزیابی را فراهم میکند. از قابلیتهای دیگر این نرم افزار میتوان به تستهایی برای تعیین توزیع نرمال دادهها، بررسی همگنی واریانسها و همچنین امکان انتخاب آزمونهای جایگزین متناسب با نیاز کاربر اشا...
متن کاملاستفاده از نرم افزار HYDRUS در شبیه سازی حرکت و جذب آب درخاک و ارائه نرم افزار SWMRUM
مدلهای عددی در شبیه سازی حرکت آب در خاک کاربرد فراوان دارند. این مدل‌ها نیازمند وارد کردن مدل جذب بوسیله سیستم ریشه در خاک میباشند. در این تحقیق دو مدل حرکت آب در خاک شامل مدل جدید ارائه شده (SWMRUM) و دیگری نرم افزارHYDRUS بر اساس اندازه گیری‌های صحرایی در باغ سیب مقایسه گردیدند. با استفاده از دستگاه رطوبت سنج TDR ، درصد حجمی آب خاک در دو جهت شعاعی (R) و عمق (Z) اندازه گیری شد. مدل دو بعدی ...
متن کاملاستفاده از نرم افزار HYDRUS در شبیه سازی حرکت و جذب آب درخاک و ارائه نرم افزار SWMRUM
مدلهای عددی در شبیه سازی حرکت آب در خاک کاربرد فراوان دارند. این مدل‌ها نیازمند وارد کردن مدل جذب بوسیله سیستم ریشه در خاک میباشند. در این تحقیق دو مدل حرکت آب در خاک شامل مدل جدید ارائه شده (SWMRUM) و دیگری نرم افزارHYDRUS بر اساس اندازه گیری‌های صحرایی در باغ سیب مقایسه گردیدند. با استفاده از دستگاه رطوبت سنج TDR ، درصد حجمی آب خاک در دو جهت شعاعی (R) و عمق (Z) اندازه گیری شد. مدل دو بعدی ...
متن کاملبهینهسازی مکانیابی ایستگاههای پایش کیفی منابع آب زیرزمینی با استفاده از تئوری آنتروپی
ارزیابی کارآیی سامانه‌های پایش کیفی منابع آب و بهبود مؤلفه‌های مختلف این سامانه‌ها مانند مکانیابی بهینه ایستگاههای پایش از اهمیت ویژه‌ای برخوردار است. دلیل اصلی اهمیت این موضوع، هزینه‌های قابل توجه این سامانه‌ها می‌باشد. به طوری که کاهش اطلاعات مازاد می‌تواند در کاهش هزینه‌های سامانه، بدون کاهش میزان و دقت اطلاعات حاصل، تأثیر قابل توجهی داشته باشد. همچنین پیشنهاد تأسیس ایستگاههای جدید می‌تواند ...
متن کاملمنابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
محاسبات نرمجلد ۲، شماره ۱، صفحات ۴۴-۵۹
کلمات کلیدی
میزبانی شده توسط پلتفرم ابری doprax.com
copyright © 2015-2023